$\forall$${\it ds}$:$x$:Id fp$\rightarrow$ Type, $s$:State(${\it ds}$). $s$ = ($\lambda$$x$.$s$($x$))